cocountable topology

[数] 上可数拓扑